Optimizing Bottom-Up Evaluation of Constraint Queries

We consider a class of constraint logic programs including negation that can be executed bottom up without constraint solving, by replacing constraints with tests and assignments. We show how to optimize the bottom-up evaluation of queries for such programs using transformations based on analysis obtained using abstract interpretation. Although the paper concentrates on a class of eeciently executable programs the optimizations we describe are correct and applicable for arbitrary constraint programs. Our approach generalizes earlier work on constraint propagation.